Minimal Categorical System and Predication Theory In Porphyry

On minimal realization of IF-languages: A categorical approach

he purpose of this work is to introduce and study the concept of minimal deterministic automaton with IF-outputs which realizes the given IF-language. Among two methods for construction of such automaton presented here, one is based on Myhill-Nerode's theory while the other is based on derivatives of the given IF-language. Meanwhile, the categories of deterministic automata with IF-outputs and ...

Rumfitt’s Theory of Predication∗

Before Frege there was no satisfactory way of explaining both the validity of the inference of (B) from (A) and also that of the inference of (C) from (B). Frege’s solution has several components, but one key element is his ability to decompose (B) in at least two different ways. The unasserted proposition contained in (B) can be seen as obtained by attaching the expression of generality ‘someb...

The Interpretation of Set Theory in Mathematical Predication Theory

Standard Models of Set Theory with Predication

Ignacio Angelelli Predication Theory: Classical Vs Modern

This essay aims, first, at describing the conflict between the theory of predication (classical, Aristotelian) prevailing in philosophy until the end of the 19th century, and the theory arisen with the new logic (modern, Fregean). Three features characterize the preFregean period: 1) conflation of predication and subordination (extensionally: membership and class-inclusion), 2) conflation of id...